A Mathematical Approach to Ontology Authoring and Documentation
نویسندگان
چکیده
The semantic web ontology languages RDFS and OWL are widely used but limited in both their expressivity and their support for modularity and integrated documentation. Expressivity, modularity, and documentation of formal knowledge have always been important issues in the MKM community. Therefore, we try to improve these ontology languages by well-tried MKM techniques. Concretely, we propose embedding the language concepts into OMDoc to make use of its modularity and documentation infrastructure. We show how OMDoc can be made compatible with semantic web ontology languages, focusing on knowledge representation, modular design, documentation, and metadata. We evaluate our technology by re-implementing the Friend-of-a-friend (FOAF) ontology and applying it in a novel metadata framework for technical documents (including ontologies).
منابع مشابه
A Methodological Approach for Ontology Evaluation and Refinement
One of the main stages of the ontology authoring process is the adoption of the appropriate specifications to ensure that the ontology structure and design adheres to a set of common best practices. Existing ontology authoring tools on the one hand, mainly support ontology editing operations as well as visualization facilities. These tools allow the design and implementation of new ontologies b...
متن کاملTowards Improving Interactive Mathematical Authoring by Ontology-driven Management of Change
The interactive use of mathematical assistance systems requires an intensive training in their input and command language. With the integration into scientific WYSIWYG text-editors the author can directly use the natural language and formula notation she is used to. In the new documentcentric paradigm changes to the document are transformed by a mediator into commands for the mathematical assis...
متن کاملUsing Ontological Engineering to Overcome Common AI-ED Problems
This paper discusses long-term prospects of AI-ED research with the aim of giving a clear view of what we need for further promotion of the research from both the AI and ED points of view. An analysis of the current status of AI-ED research is done in the light of intelligence, conceptualization, standardization and theory-awareness. Following this, an ontology-based architecture with appropria...
متن کاملOntologies for authoring of intelligent educational systems
The goal of this paper is to illustrate the beneficial role of ontologies in achieving efficient authoring support for Intelligent Educational Systems (IES). We present our ideas within an ontology-driven framework EASE offering power with respect to the functionality, generic approach for its support of instructional strategies and user-friendliness in its interaction with the author. A centra...
متن کاملOntoAIMS: Ontological Approach to Courseware Authoring
In this paper we discuss how ontology concepts can be beneficial for a flexible and semantic rich description of the authoring process and for the provision of authoring support of Intelligent Educational Systems (IES) with respect to three main authoring tasks: domain editing, course sequencing and resource management. We take a semantic perspective on the knowledge representation and explore ...
متن کامل